Add constructors, free variables and beta-reduc