builtin binding for extended lambda
include data constructors in Definition data type
move Eq for reflected types to separate module
fixity for comparisons
Merge branch 'refs/heads/compat-2.4.0'
Typeclass Quotable with `_ : A -> Term
Strengthening and weakening of reflected terms
weaking and strengthening for sorts and pattern lambdas
pattern zero! for Any.zero refl
Renamed LessNat.diffP and diff to diff and diff!
Merge branch 'compat-2.4.0'