Builtin variables

i. Normal type variable ii. Function type variable