Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report)